Formal Analysis – Bücher, CDs, LPs und mehr

Xiao-Xiong Gan
Formal Analysis

Formal analysis is the study of formal power series, formal Laurent series, formal root series, and other formal series or formal functionals. This book is the first comprehensive presentation of the topi…

lieferbar innerhalb 2-3 Wochen

Buch

Bernhard Ganter, Rudolf Wille
Formal Concept Analysis

Formal Concept Analysis is a field of applied mathematics based on the mathematization of concept and conceptual hierarchy. It thereby activates mathematical thinking for conceptual data analysis and kn…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui
Formal Methods for the Analysis of Biomedical Ontologies

This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating…

lieferbar innerhalb 2-3 Wochen

Buch

Daniel Große, Lucas Klemmer
Versatile Hardware Analysis Techniques

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

lieferbar innerhalb 2-3 Wochen

Buch

Dumb Money - Schnelles Geld

YouTuber Keith Gill, alias Roaring Kitty, ist Finanzanalyst und eigentlich ein ganz normaler Typ. Ein bisschen nerdig vielleicht. In einer für sich selbst erstellten Analyse untersucht er die Aktie von Ga…

lieferbar innerhalb von 3 Tagen

DVD

Dumb Money - Schnelles Geld (Blu-ray)

YouTuber Keith Gill, alias Roaring Kitty, ist Finanzanalyst und eigentlich ein ganz normaler Typ. Ein bisschen nerdig vielleicht. In einer für sich selbst erstellten Analyse untersucht er die Aktie von Ga…

lieferbar innerhalb von 3 Tagen

Blu-ray Disc

Maria Lohmann
Laborwerte verstehen. Kompakt-Ratgeber

INHALT Vorwort LABORWERTE UND IHRE BEDEUTUNG Das Blut - Die Blutentnahme - Was sind Normalwerte? - Die Aufgaben des Blutes - Das Blutbild - Die Blutgerinnung Mineralstoffe und Spurenelemente - Mineralst…

sofort lieferbar

Buch

Mitch Ryder

With Love (180g)

Wenn ein Künstler vom Format eines Mitch Ryder auf seine sechs Jahrzehnte währende Karriere zurückblickt und Ihnen sagt, dass sein neuestes Album ein absolutes Muss ist, sollten Sie diese Aussage ernst ne…

Artikel am Lager

LP

Manic Street Preachers

Critical Thinking (Deluxe Edition) (Hardcoverbook Hochformat)

Nicky Wire sagte über »Critical Thinking«: »Dies ist eine Platte, auf der Gegensätze aufeinanderprallen - eine Dialektik, die versucht, einen Weg der Lösung zu finden. Während die Musik aufbrausend und el…

2 CDs

Mitch Ryder

With Love

Wenn ein Künstler vom Format eines Mitch Ryder auf seine sechs Jahrzehnte währende Karriere zurückblickt und Ihnen sagt, dass sein neuestes Album ein absolutes Muss ist, sollten Sie diese Aussage ernst ne…

Artikel am Lager

CD

Shake Stew

Heat

Kaum eine andere Band hat die mitteleuropäische Jazzszene in den letzten Jahren derart auf den Kopf gestellt wie Shake Stew. Während die ZEIT sie als »Österreichs Jazzband der Stunde« bezeichnete und sie …

Artikel am Lager

CD

Shake Stew

Heat (180g)

Kaum eine andere Band hat die mitteleuropäische Jazzszene in den letzten Jahren derart auf den Kopf gestellt wie Shake Stew. Während die ZEIT sie als »Österreichs Jazzband der Stunde« bezeichnete und sie …

lieferbar innerhalb von 3 Tagen

2 LPs

Kjetil Bjorvatn
Microeconomics Made Simple

Classroom Companion: Economics

This textbook offers a clear and accessible introduction to the core principles of microeconomics. Designed for students new to the subject, it covers all the essential topics found in a standard microeco…

lieferbar ab 28.12.2025.

Buch

Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev

This volume is a collection of essays related to the work of Professor Yuriy Vasilievich Ivlev, a distinguished Russian logician and philosopher renowned for his expertise in many-valued and modal logics.…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering of Complex Computer Systems

Lecture Notes in Computer Science - Band 15746

This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025.The …

lieferbar ab 29.11.2025.

Buch

Hannah Holtzman
Through a Nuclear Lens

The Franco-Japanese coproduction Hiroshima mon amour (1959) is one of the most important films for global art cinema and for the French New Wave. In Through a Nuclear Lens, Hannah Holtzman examines this f…

lieferbar innerhalb 2-3 Wochen

Buch